On the categorical semantics of dependent product types as relative right adjoints to context extension in comprehension categories:
Created on February 3, 2023 at 16:44:30. See the history of this page for a list of all contributions to it.